Combinatorial algebra : syntax and semantics Springer

Studies in Ethnopragmatics, Cultural Semantics, and ‎Intercultural Communication: Ethnopragmatics and Semantic ‎Analysis, Lauren Sadow, Bet Peeters & Kerry Mullan (Eds.) ‎‎(2019), Springer, ISBN 978-981-32-9982-5‎

Reverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages

Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...

Eigenvalues in Combinatorial Optimization ∗

In the last decade many important applications of eigenvalues and eigenvectors of graphs in combinatorial optimization were discovered. The number and importance of these results is so fascinating that it makes sense to present this survey. ∗This article appeared in Combinatorial and Graph-Theoretical Problems in Linear Algebra, R. A. Brualdi, S. Friedland, V. Klee, Eds., IMA Volumes in Mathema...

Combinatorial Proof Semantics

The paper Proofs Without Syntax [Annals of Mathematics, to appear] introduced the notion of a combinatorial proof for classical propositional logic. The present paper uses combinatorial proofs to define a semantics for classical propositional sequent calculus, an inductive translation from sequent proofs to combinatorial proofs. The semantics is abstract and efficient: abstract in the sense tha...

Build, Augment and Destroy, Universally

We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we give a semantics for inductive types based on limits of algebra structure forgetting functors and show that it is equivalent to the usual initial algebra semantics. We also give a similar semantic account of the augment general...